A Logical View of Probability
نویسندگان
چکیده
Imprecise Probability or Upper and Lower Prob ability is represented as a very simple but powerful logic Despite having a very di erent language from classical log ics it enjoys many of the most important properties which means that some extensions to classical logic can be applied in a fairly straightforward way The logic is extended to allow qualitative grades of belief which can be used to represent degrees of caution and this is applied to create theories of belief revision and non monotonic inference for probability statements We also construct a theory of default probabil ity which is based on a variant of Reiter s default logic this can be used to express and reason with default probability statements
منابع مشابه
Zero-Probability and Coherent Betting: A Logical Point of View
The investigation reported in this paper aims at clarifying an important yet subtle distinction between (i) the logical objects on which measure theoretic probability can be defined, and (ii) the interpretation of the resulting values as rational degrees of belief. Our central result can be stated informally as follows. Whilst all subjective degrees of belief can be expressed in terms of a prob...
متن کاملWondering What Might Be
This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresp...
متن کاملPreferential Structures for Comparative Probabilistic Reasoning
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing uncertainty is the same. In the case of reasoning about relative likelihood, with statements of the form φ % ψ expressing that φ is at least as likely as ψ, a standard qualitative approach using preordered preferential...
متن کاملA Critical Study of Current Views of the Stages of Human Creation in the Holy Quran
On compatibility or incompatibility of the Qur'an with evolutionism, numerous studies are found. They, however, lack methodological properties, comprehensiveness with regard to the related verses as well as the accuracy This study focuses on the verses of the origin and stages of human creation with a comprehensive look at all related verses and its classification. After extracting the stages o...
متن کاملSection 1. Logic and applications PROBABILISTIC REASONING ABOUT SECOND ORDER UNCERTAINTY: A LOGICAL CHARACTERIZATION
Suppose a die is being rolled. One thing is to be uncertain about the facet that will eventually show up. One quite different thing, is to be uncertain about whether the die is fair or otherwise unbiased. We can rather naturally refer to first order and second order uncertainty, respectively. In the former case we are uncertain about some (presently unknown) state of affairs. In the latter we a...
متن کاملAsymptotic Conditional Probabilities for Conjunctive Queries
Two seemingly unrelated applications call for a renewed study of probabilistic properties of logical formulas. One is the study of information about a sensitive query which is disclosed by a public view [10]. The other is a study of queries with uncertain predicates [1]. Both have been studied using a certain probabilistic model, which, as we show here has some limitations. In this paper we pro...
متن کامل